منابع مشابه
Displacement Calculus
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be dis-continuous. In this paper we introduce the displacement calculus D, a generalization of Lambek calculus, which preserves the good proof-theoretic properties of the latter while embracing dis-continuiity and subsum...
متن کاملOn Calculus of Displacement
The calculus of Lambek (1958) did not make much impact until the 1980s, but for more than twenty years now it has constituted the foundation of type logical categorial grammar. It has occupied such a central position because of its good logical properties, but it has also been clear, even from the start of its renaissance, that the Lambek calculus suffers from fundamental shortcomings, which we...
متن کاملModels for the Displacement Calculus
The displacement calculus D is a conservative extension of the Lambek calculus L1 (with empty antecedents allowed in sequents). L1 can be said to be the logic of concatenation, while D can be said to be the logic of concatenation and intercalation. In many senses, it can be claimed that D mimics L1 in that the proof theory, generative capacity and complexity of the former calculus are natural e...
متن کاملLogic Programming of the Displacement Calculus
The displacement calculus of Morrill, Valent́ın and Fadda (2011)[12] forms a foundation for type logical categorial grammar in which discontinuity is accommodated alongside continuity in a logic which is free of structural rules and which enjoys Cut-elimination, the subformula property, decidability, and the finite reading property. The calculus deploys a new kind of sequent calculus which we ca...
متن کاملProof Nets for the Displacement Calculus
The Displacement calculus was introduced by Morrill, Valent́ın & Fadda (2011) as an extension of the Lambek calculus with discontinuous operators. These discontinuous connectives allow the Displacement calculus to solve a large number of problems with the Lambek calculus. Examples of the phenomena treated by Morrill et al. (2011) include discontinuous idioms (such as “ring up” and “give the cold...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics
سال: 2020
ISSN: 2227-7390
DOI: 10.3390/math8030419